class Dog(name : String) extends Pet(name : String)